"Lev D. Beklemishev" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

#1

Logic, Language, Information, and Computation - WoLLIC 2011

Lev D. Beklemishev, Ruy de Queiroz

3.14 Mb

#2

Undecidable theories

Lev D. Beklemishev

Категория: Mathematics, Algebra, Mathematical logic

5.99 Mb

#3

Provability, Computability and Reflection, Volume 65

Lev D. Beklemishev

Категория: Mathematical logic

3.00 Mb

#4

Provability, Computability and Reflection, Volume 83

Lev D. Beklemishev

Категория: Mathematical logic

2.72 Mb

#5

The axiom of choice

Lev D. Beklemishev

Категория: Mathematical logic

1.22 Mb

#6

Provability, Computability and Reflection, Volume 62

Lev D. Beklemishev

Категория: Mathematical logic

980 Kb

#7

Provability, Computability and Reflection, Volume 84

Lev D. Beklemishev

Категория: Mathematical logic

2.55 Mb

#8

An algebraic approach to non-classical logics

Lev D. Beklemishev

Категория: Mathematical logic

2.45 Mb

#9

Provability, Computability and Reflection, Volume 88

Lev D. Beklemishev

Категория: Mathematical logic

1.46 Mb

#10

Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.

Lev D. Beklemishev

529 Kb

#11

The axiom of choice

Lev D. Beklemishev

686 Kb

#12

An algebraic approach to non-classical logics

Lev D. Beklemishev

1.44 Mb

#13

Combinatory logic

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.38 Mb

#14

Introduction to the theory of finite automata

Lev D. Beklemishev

Категория: Cs_Computer science, CsAl_Algorithms

2.09 Mb

#15

Mathematical logic in Latin America: Proceedings Santiago, 1978

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.84 Mb

#16

Non-classical logics, model theory and computability: Proceedings Campinas, 1976

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.78 Mb

#17

A deductive theory of space and time (no TOC)

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

844 Kb

#18

Logic colloquium '78: Proceedings Mons, 1978

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.90 Mb

#19

Word problems: Decision problems and the Burnside problem in group theory

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.63 Mb

#20

Computer programming and formal systems

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1006 Kb

#21

Constructive order types

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

998 Kb

#22

Formal systems and recursive functions: Proceedings Oxford, 1963

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.84 Mb

#23

Outlines of a formalist philosophy of mathematics

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

462 Kb

#24

Generalized recursion theory II: Proceedings Oslo, 1977

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.27 Mb

#25

Generalized recursion theory: Proceedings Oslo, 1972

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.43 Mb

#26

Foundations of set theory

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.05 Mb

#27

Lincos: Design of a language for cosmic intercourse.

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.57 Mb

#28

Logic colloquium '69: Proceedings Manchester, 1969

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.44 Mb

#29

Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.04 Mb

#30

The axiomatic method with special reference to geometry and physics: Proc. Berkeley, 1957-8

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.20 Mb

#31

Intuitionism: An introduction

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

781 Kb

#32

Aspects of inductive logic (no TOC)

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.21 Mb

#33

Languages with expressions of infinite length

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.16 Mb

#34

Intuitionism and proof theory: Proceedings Buffalo, 1968

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.04 Mb

#35

Set theory (no TOC)

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.63 Mb

#36

The problem of inductive logic: Proceedings London, 1965

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.70 Mb

#37

Problems in the philosophy of science: Proceedings London, 1965

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.88 Mb

#38

Truth, syntax and modality: Proceedings Philadelphia, 1970

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.17 Mb

#39

The logical systems of Lesniewski

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.77 Mb

#40

Contributions to non-standard analysis

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.74 Mb

#41

Logic colloquium '77: Proceedings Wroclaw, 1977

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.16 Mb

#42

Toward a systematic pragmatics

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

637 Kb

#43

Aristotle's modal syllogisms (no TOC)

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

593 Kb

#44

Truth and consequence in mediaeval logic

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

909 Kb

#45

Foundational studies: Selected works,

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.54 Mb

#46

Foundational studies: Selected works,

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.21 Mb

#47

Logic, methodology and philosophy of science: Proceedings Stanford, 1960

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.73 Mb

#48

Nomological statements and admissible operations

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

872 Kb

#49

Complete theories (no TOC)

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

796 Kb

#50

Logic colloquium '73: Proceedings Bristol, 1973

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.28 Mb

#51

Contributions to mathematical logic: Proceedings Hannover, 1966

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.87 Mb

#52

Logic, methodology and philosophy of science IV: Proc. Bucharest, 1971

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

6.20 Mb

#53

Logic, methodology and philosophy of science IV: Proceedings Bucharest, 1971

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

6.76 Mb

#54

Logic, methodology and philosophy of science III: Proceedings Amsterdam, 1967

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.37 Mb

#55

An essay in modal logic

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

545 Kb

#56

Provability, Computability and Reflection, Volume 50

Lev D. Beklemishev

3.60 Mb

#57

Studies in logic and the foundations of mathematics, vol.69: Contributions to Non-Standard Analysis

Lev D. Beklemishev

11.40 Mb

#58

Foundational Studies, Selected Works

Lev D. Beklemishev

10.91 Mb

#59

Generalized Recursion Theory

Lev D. Beklemishev

18.29 Mb

#60

Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium: Symposium Proceedings: 2nd, 1977

Lev D. Beklemishev

3.75 Mb

#61

Provability, Computability and Reflection, Volume 17

Lev D. Beklemishev

1.48 Mb

#62

Large Infinitary Languages, Model Theory

Lev D. Beklemishev

17.09 Mb

#63

Logic Colloquium '69

Lev D. Beklemishev

12.21 Mb

#64

Logic Colloquium 1976: Proceedings

Lev D. Beklemishev

27.08 Mb

#65

Logic: Colloquium Proceedings, 1977

Lev D. Beklemishev

3.45 Mb

#66

Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978

Lev D. Beklemishev

5.05 Mb

#67

Logic in Algebraic Form, Three Languages and Theories

Lev D. Beklemishev

2.89 Mb

#68

Logic, Methodology and Philosophy of Science IV

Lev D. Beklemishev

15.11 Mb

#69

Mathematical Logic in Latin America: Symposium Proceedings

Lev D. Beklemishev

5.49 Mb

#70

Non-classical logics, model theory and computability.

Lev D. Beklemishev

12.58 Mb

#71

Set Theory

Lev D. Beklemishev

15.02 Mb

#72

Sets and Classes: On the Work by Paul Bernays

Lev D. Beklemishev

17.83 Mb

#73

Provability, Computability and Reflection, Volume 30

Lev D. Beklemishev

5.23 Mb

#74

Truth, Syntax and Modality: Proceedings of the Temple University Conference on Alternative Semantics

Lev D. Beklemishev

4.22 Mb

#75

Word problems. Decision problems and the Burnside problem in group theory

Lev D. Beklemishev

17.15 Mb

#76

An algebraic approach to non-classical logics

Lev D. Beklemishev

11.69 Mb

#77

Provability, Computability and Reflection

Lev D. Beklemishev

1.32 Mb

#78

Provability, Computability and Reflection

Lev D. Beklemishev

10.08 Mb